echo('hello v8 demo3.js! foo = '+$.foo+';hello = '+$.hello);